MSCan - A Tool for Analyzing MSC Specifications
نویسندگان
چکیده
We present the tool MSCan, which supports MSC-based system development. In particular, it automatically checks high-level MSC specifications for implementability.
منابع مشابه
Specification-driven Performance Monitoring of SDL/MSC-specified Protocols
Protocol testing implies the functional analysis of a given implementation under test as well as its temporal performance evaluation. If protocols are formally specified sophisticated techniques and tools exist for analyzing functional properties, e.g. finding deadlocks or livelocks. Methods, however, for the temporal performance evaluation of formally specified systems are still in their infan...
متن کاملAnalysis and Implementations of MSC Specifications
In this paper we consider the formal model of (compositional) Message Sequence Graphs – (C)MSGs for short – which provide a standardized modeling language for specifying communication protocols. We are mainly interested in detecting classes of implementable protocols and therefore define properties on (C)MSGs that ensure their implementability. The implementation of a CMSG in our context means ...
متن کاملBus Protocols: MSC-Based Specifications and Translation into Program of Verification Tool for Formal Verification
Message Sequence Charts (MSCs) are an appealing visual formalism mainly used in the early stages of system design to capture the system requirements. However, if we move towards an implementation, an executable specifications related in some fashion to the MSC-based requirements must be obtained. The MSCs can be used effectively to specify the bus protocol in the way where high-level transition...
متن کاملAn automated approach to specification animation for validation
Formal specification has been increasingly adopted for the development of software systems of the highest integrity. However, the readability of specifications for large-scale and complex systems can be so poor that even the developers may not easily understand whether their specifications define the ‘‘intended behaviors’’. In this paper, we describe a software tool that supports the animation ...
متن کاملIdentification of functional clusters of transcription factor binding motifs in genome sequences: the MSCAN algorithm
MOTIVATION The identification of regulatory control regions within genomes is a major challenge. Studies have demonstrated that regulating regions can be described as locally dense clusters or modules of cis-acting transcription factor binding sites (TFBS). For well-described biological contexts, it is possible to train predictive algorithms to discern novel modules in genome sequences. However...
متن کامل